🔬 Logic in Computer Science - matmat · Scour

KripkesBeard/programming-for-philosophers: Startings of a textbook which teaches declarative programming for applications in philosophy. 💻Programming languages

github.com·3d·Hacker News

Abstract Machines for Logic Programs 🔍Type Inference

chrisistyping.bearblog.dev·2d·Lobsters, Hacker News, r/programming

Evidence-Tracked Tape Semantics for Probabilistic Computation 📼Tape Combinators

Show HN: Formal Verification with Lean ⚔️Lean Tactics

daniellowengrub.com·5h·Hacker News

The Logic of Paradox as a substructural logic 🔲Proof Irrelevance

consequently.org·1d

Infinitary Logic 🔲Proof Irrelevance

en.wikipedia.org·2d·Hacker News

A Fibrational Perspective on Differential Linear Logic 📏Linear Logic

Towards an Inferentialist Account of Information Through Proof-theoretic Semantics 📏Linear Logic

Relating the Computational and Logical Difficulty of Solving ODEs: From Polynomial to Discontinuous Right-Hand Sides 📐Interval Arithmetic

Towards Definitional Interpreters for Hoare Logics ⚖️Hoare Logic

Continuations and Completeness in Proof-theoretic Semantics 🏗️Constructive Logic

A Categorical Semantics for Linear Logical Frameworks 📏Linear Logic

Induction rules for Transition Algebra 🌳Context free grammars

A Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting Quantifiers 🎞️Tape Combinatorics

Interaction Tree Semantics for RISC-V: Bridging Compiler and Hardware Verification ⚖️RISC-V Formal

Goedel Logics: On the Elimination of The Absoluteness Operator 🔲Proof Irrelevance

Set-like operations on propositional logic programs 🔗Combinatory Logic

Syntax and Semantics of Linear Dependent Types λLambda Formalization

Evaluating Prompting and Execution-Based Methods for Deterministic Computation in LLMs 📼Tape Combinators

Proteo-R1: Reasoning Foundation Models for De Novo Protein Design 🔄Graph Rewriting

No more posts from matmat's subscribed feeds.

Scour all 24963 feeds Learn more about Feeds

Log in to enable infinite scrolling